Light-weight Formal Methods